Nuprl Lemma : p_subset_wf 13,42

T:Type, AB:(T). A {TB   
latex


Upgen algebra 1
Definitions of StatementA {TB
DefinitionsP  Q, A {TB, t  T, , x:AB(x)

origin